(let ((x 1))
  (define y 2)
  (+ x y))